R. Goré, R. Ramanayake; 2008; "Valentini's Cut-Elimination for Provability Logic Resolved" - Internet Explorer 2.0

R. Goré, R. Ramanayake; 2008; "Valentini's Cut-Elimination for Provability Logic Resolved"

著者

Rajeev Goré，Revantha Ramanayake